proof by contradiction a implies b